determine if a statement is true or false without truth tables